(0 15 9)(1 16 7)(2 14 5)(3 17 4)(6 13 11)(8 12 10)
ALLOWS (11/8)-SEQUENCE
1: (4 5 17)
(0 15 9)(1 16 7)(2 14 5 3 17)(4)(6 13 11)(8 12 10)
2: (2 14 17)
(0 15 9)(1 16 7)(2)(3 17 5)(4)(6 13 11)(8 12 10)(14)
3: (0 15 9)
(0)(1 16 7)(2)(3 17 5)(4)(6 13 11)(8 12 10)(9)(14)(15)
4: (1 16 7)
(0)(1)(2)(3 17 5)(4)(6 13 11)(7)(8 12 10)(9)(14)(15)(16)